Seventeen or Bust («Семнадцать или провал») — это проект добровольных вычислений по отысканию простых чисел вида k · 2n + 1 для семнадцати различных значений k, которые позволят доказать, что 78 557 является минимальным числом Серпинского. Проект стартовал в марте 2002 года, в апреле 2016 года после потери сервера данных был поглощен проектом PrimeGrid и стал его подпроектом. К концу 2022 года из семнадцати значений k, которые нужно проверить, осталось лишь пять: 21 181, 22 699, 24 737, 55 459 и 67 607[1].